Complemented congruences on Ockham algebras
نویسندگان
چکیده
An Ockham algebra L = (L,∧,∨, f, 0, 1) that satisfies the identity f2n+m = fm, n ∈ N and m ∈ N0, is called a Kn,m-algebra. Generalizing some results obtained in [2], J. Varlet and T. Blyth, in [3, Chapter 8], study congruences on K1,1-algebras. In particular, they describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented. In this paper we study the same question for Kn,m-algebras.
منابع مشابه
Tense Operators on m–Symmetric Algebras
Here we initiate an investigation of the equational classes of m– symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of algebras. In order to do this, we require Urquart’s duality for Ockham algebras and Goldblatt’s duality for bounded distributive lattice with operations. The dual...
متن کاملWeak Congruences of Algebras with Constants
The paper deals with weak congruences of algebras having at least two constants in the similarity type. The presence of constants is a necessary condition for complementedness of the weak congruence lattices of non-trivial algebras. Some sufficient conditions for the same property are also given. In particular, so called 0,1-algebras have complemented weak congruence lattices if and only if the...
متن کاملManuel ABAD , Alicia FERNANDEZ and Nelli MESKE FREE BOOLEAN CORRELATION LATTICES
A correlation lattice is an algebra (B,∧,∨, σ, 0, 1) where (B,∧,∨, 0, 1) is a bounded lattice and σ is a dual endomorphism on B which has the property σ(x) = x for a fixed number n, n ∈ 2N + 1 ([3], [4]). This notion generalizes orthomodular lattices, and in the distributive case, Boolean algebras, De Morgan algebras and some classes of Ockham algebras. Moreover, in [4], D. Schweigert and M. Sz...
متن کاملWeak Implication on Generalized Lukasiewicz Algebras of Order
J. Vaz De Carvalho and T. Almada in A generalization of the Lukasiewicz algebras, Studia Logica 69 (2001), 329-338 introduced the variety Ln , m ≥ 1, n ≥ 2, of m–generalized Lukasiewicz algebras of order n as a generalization of Lukasiewicz algebras of order n and a particular case of Ockham algebras. In this note, bearing in mind the important role that weak implication played in the study of ...
متن کاملPart II Invited Speech
In 2001, an open question that was posed by Blyth, Silva and Varlet in [2] is the following: for an Ockham algebra L determine the congruences on L that are kernels of endomorphisms on L. Whereas a general solution to this is stll an open problem, there has been some progress in investigating kernels of endomorphisms in various lattice-ordered algebras. In this connection, an algebra A is said ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010